Theorem 5.4.3